/*
 * Halt.h
 *
 *  Created on: 17.04.2012
 *      Author: Eugene Kornykhin
 */

#ifndef HALT_H_
#define HALT_H_

#include "../PElement.h"

class Halt: public PElement {
public:
	Halt();
	virtual ~Halt();

	virtual void execute(Interpreter &);

	virtual PolizPosition next_position_after(PolizPosition) const;
	virtual bool isHalt() const;
	virtual Halt *clone(const Poliz &) const;
	string toString() const;
};

#endif /* HALT_H_ */
